『Mechanising and Verifying the WebAssembly Specification』
Mechanising and Verifying the WebAssembly Specification
asm.js
NaCL
WebAssembly
コンパイルターゲット
キーワード:
#スタックマシン
#バイトコード
#健全性
#Reducion
#文献